/* SPDX-License-Identifier: GPL-2.0 */
/*
 * Copyright (c) 2023 HUAWEI TECHNOLOGIES CO., LTD.
 */
#ifndef __KVM_X86_VMX_HOTREPLACE_H
#define __KVM_X86_VMX_HOTREPLACE_H

#include "vmx.h"

void vmx_vfio_hotreplace_pre(struct kvm_vcpu *vcpu, int val);
int vmx_vfio_hotreplace_sync_pi(struct kvm_vcpu *vcpu, int vmfd);
int vmx_sync_pir_to_irr_with_check(struct kvm_vcpu *vcpu);
int vmx_sync_pir_to_irr_without_check(struct kvm_vcpu *vcpu);
#endif
